Ham Sandwich is Equivalent to Borsuk-Ulam

نویسندگان

  • Karthik C. S.
  • Arpan Saha
چکیده

The Borsuk-Ulam theorem is a fundamental result in algebraic topology, with applications to various areas of Mathematics. A classical application of the Borsuk-Ulam theorem is the Ham Sandwich theorem: The volumes of any n compact sets in R can always be simultaneously bisected by an (n− 1)-dimensional hyperplane. In this paper, we demonstrate the equivalence between the Borsuk-Ulam theorem and the Ham Sandwich theorem. The main technical result we show towards establishing the equivalence is the following: For every odd polynomial restricted to the hypersphere f : S → R, there exists a compact set A ⊆ Rn+1, such that for every x ∈ S we have f(x) = vol(A∩H+)−vol(A∩H−), where H is the oriented hyperplane containing the origin with ~x as the normal. A noteworthy aspect of the proof of the above result is the use of hyperspherical harmonics. Finally, using the above result we prove that there exist constants n0, ε0 > 0 such that for every n ≥ n0 and ε ≤ ε0/ √ 48n, any query algorithm to find an ε-bisecting (n − 1)-dimensional hyperplane of n compact sets in [−n4.51, n4.51]n, even with success probability 2−Ω(n), requires 2Ω(n) queries. 1998 ACM Subject Classification F.2.2 Computations on discrete structures, Geometrical problems and computations

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Combinatorial and Algorithmic Applications of the Borsuk-Ulam Theorem

The Borsuk-Ulam theorem states that if f : S → R is a continuous mapping from the unit sphere in R into R, there is a point x ∈ S where f(x) = f(−x); i.e., some pair of antipodal points has the same image. The recent book of Matoušek [21] is devoted to explaining this theorem, its background, and some of its many consequences in algebraic topology, algebraic geometry, and combinatorics. Borsuk-...

متن کامل

On Generalized “ham Sandwich” Theorems

In this short note we utilize the Borsuk-Ulam Anitpodal Theorem to present a simple proof of the following generalization of the “Ham Sandwich Theorem”: Let A1, . . . , Am ⊆ R be subsets with finite Lebesgue measure. Then, for any sequence f0, . . . , fm of R-linearly independent polynomials in the polynomial ring R[X1, . . . , Xn] there are real numbers λ0, . . . , λm, not all zero, such that ...

متن کامل

A Borsuk-Ulam Equivalent that Directly Implies Sperner's Lemma

We show that Fan’s 1952 lemma on labelled triangulations of the n-sphere with n + 1 labels is equivalent to the Borsuk–Ulam theorem. Moreover, unlike other Borsuk–Ulam equivalents, we show that this lemma directly implies Sperner’s Lemma, so this proof may be regarded as a combinatorial version of the fact that the Borsuk–Ulam theorem implies the Brouwer fixed-point theorem, or that the Lustern...

متن کامل

Borsuk-Ulam Implies Brouwer: A Direct Construction

The Borsuk-Ulam theorem and the Brouwer fixed point theorem are well-known theorems of topology with a very similar flavor. Both are non-constructive existence results with somewhat surprising conclusions. Most topology textbooks that cover these theorems (e.g., [4], [5], [6]) do not mention the two are related—although, in fact, the Borsuk-Ulam theorem implies the Brouwer Fixed Point Theorem. ...

متن کامل

Digital Borsuk-Ulam theorem

The aim of this paper is to compute a simplicial cohomology group of some specific digital images. Then we define ringand algebra structures of a digital cohomology with the cup product. Finally, we prove a special case of the Borsuk-Ulam theorem fordigital images.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017